Aligators for Arrays
نویسندگان
چکیده
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out inductive reasoning over array content. The Aligators’ loop extraction module allows treatment of multi-path loops by exploiting their commutativity and serializability properties. Our experience in applying Aligators on a collection of loops from open source software projects indicates the applicability of recurrence and algebraic solving techniques for reasoning about arrays.
منابع مشابه
Synthesis of Antenna Arrays of Maximum Directivity for a Specified Sidelobe Level
Linear and planar antenna arrays are synthesized to have maximum directivity for a specified sidelobe level. The directivity is maximized subject to a given SLL. The beamwidth and the zeros of array factor are studied as well as the directivity. Maximum directivity-arrays are compared through some examples with super-directive, uniform, Dolph-Chebyshev and Riblet-Chebychev arrays to find a comp...
متن کاملOn the Optimum Directivity of Uniformly Spaced Broadside Arrays of Parallel Half-Wave Dipoles (RESEARCH NOTES)
The nominal directivity for uniformly spaced broadside parallel half-wave dipoles associated with a uniform excitation is evaluated. The amplitude distribution for an optimized directivity is then obtained for different numbers of elements with the separations between the dipoles as a variable. The optimum and nominal directivities are compared for different spacings of the elements. While thes...
متن کاملProfiles of covering arrays of strength two
Covering arrays of strength two have been widely studied as combinatorial models of software interaction test suites for pairwise testing. While numerous algorithmic techniques have been developed for the generation of covering arrays with few columns (factors), the construction of covering arrays with many factors and few tests by these techniques is problematic. Random generation techniques c...
متن کاملSeparation of Salmonella Typhimurium Bacteria from Water Using MWCNTs Arrays
In this study, Salmonella Typhimurium bacteria removal from polluted water has been investigated using multiwall carbon nanotubes arrays. Experimental results reveal that the contact time, the bacterial concentration and the weight of multiwall carbon nanotubes arrays have positive significant effects on the bacteria removal efficiency. Increasing the contact time and the weight of multiwall ca...
متن کاملMulti-electrode arrays technology for the non-invasive recording of neural signals: a review article
The recording of electrophysiological activities of brain neurons in the last half-century has been considered as one of the effective tools for the development of neuroscience. One of the techniques for recording the activity of nerve cells is the multi-electrode arrays (MEAs). Microelectrode arrays (MEAs) are usually employed to record electrical signals from electrogenic cells like neurons o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010